Remove a shift-too-wide complaint by GCC in code that is never reached
on platforms where that shift is too wide.
/* String is shorter than an EMACS_UINT. Use smaller loads. */
eassume (p <= end && end - p < sizeof (EMACS_UINT));
EMACS_UINT tail = 0;
+ verify (sizeof tail <= 8);
+#if EMACS_INT_MAX > INT32_MAX
if (end - p >= 4)
{
uint32_t c;
tail = (tail << (8 * sizeof c)) + c;
p += sizeof c;
}
+#endif
if (end - p >= 2)
{
uint16_t c;